1. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده: Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
2. Logical frameworks
پدیدآورنده: edited by Gerard Huet, G. Plotkin
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Frames )Information theory(,، Logic,، Automatic theorem proving
رده :
Q
390
.
L64
